Picasso Scala compiler plugin: PingPong.scala

• object Start

  final case object Start extends PingMessage with ScalaObject with Product with Serializable {
    def this(): object Start = {
      val PingPong.scala$tmpVal2: PingMessage = Start.this.$init$$super1();
      ()
    };
    def $init$$super1(): PingMessage = {
      val PingPong.scala$tmpVal1: java.lang.Object = PingMessage.super.this();
      ()
    };
    override def productArity(): Int = 0;
    final override def toString(): java.lang.String = "Start";
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal3: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal4: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal3);
        throw PingPong.scala$tmpVal4
      }
    };
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal5: Boolean = x$1.$isInstanceOf[object Start]();
      PingPong.scala$tmpVal5
    };
    protected def readResolve(): java.lang.Object = Start;
    override def productPrefix(): java.lang.String = "Start";
    final override def hashCode(): Int = 80204866
  }

• class PingMessage

  abstract class PingMessage extends java.lang.Object with ScalaObject {
    def this(): PingMessage = {
      val PingPong.scala$tmpVal1: java.lang.Object = PingMessage.super.this();
      ()
    }
  }

• class PongMessage

  abstract class PongMessage extends java.lang.Object with ScalaObject {
    def this(): PongMessage = {
      val PingPong.scala$tmpVal14: java.lang.Object = PongMessage.super.this();
      ()
    }
  }

• anonymous class PingPong$lift$anonfun2

  @SerialVersionUID(0) final <synthetic> class PingPong$lift$anonfun2 extends java.lang.Object with PartialFunction[Any,Unit] with Serializable {
    def this(PingPong$lift$outer$arg2: anonymous class PingPong$lift$anonfun1): anonymous class PingPong$lift$anonfun2 = {
      val PingPong.scala$tmpVal33: java.lang.Object = PingPong$lift$anonfun2.super.this();
      PingPong$lift$anonfun2.this.PingPong$lift$outer2 = PingPong$lift$anonfun2.this.PingPong$lift$outer$arg2;
      ()
    };
    final def apply(x0$1: Any): Unit = (x0$1: Any @unchecked) match {
      case Start => {
        scala.this.Predef.println("Ping: starting.");
        PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pong.!(Ping);
        val PingPong.scala$tmpVal34: Int = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft();
        val PingPong.scala$tmpVal35: Int = PingPong.scala$tmpVal34.-(1);
        PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft_=(PingPong.scala$tmpVal35)
      }
      case SendPing => {
        PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pong.!(Ping);
        val PingPong.scala$tmpVal36: Int = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft();
        val PingPong.scala$tmpVal37: Int = PingPong.scala$tmpVal36.-(1);
        PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft_=(PingPong.scala$tmpVal37)
      }
      case Pong => {
        val PingPong.scala$tmpVal38: Int = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft();
        val PingPong.scala$tmpVal39: Int = PingPong.scala$tmpVal38.%(1000);
        val PingPong.scala$tmpVal40: Boolean = PingPong.scala$tmpVal39.==(0);
        if (PingPong.scala$tmpVal40)
          {
            val PingPong.scala$tmpVal41: scala.actors.OutputChannel[Any] = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.sender();
            val PingPong.scala$tmpVal42: java.lang.String = "Ping: pong from: ".+(PingPong.scala$tmpVal41);
            scala.this.Predef.println(PingPong.scala$tmpVal42)
          }
        else
          ();
        val PingPong.scala$tmpVal43: Int = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft();
        val PingPong.scala$tmpVal44: Boolean = PingPong.scala$tmpVal43.>(0);
        if (PingPong.scala$tmpVal44)
          {
            val PingPong.scala$tmpVal45: scala.actors.Actor = scala.actors.Actor.self();
            PingPong.scala$tmpVal45.!(SendPing)
          }
        else
          {
            scala.this.Predef.println("Ping: Stop.");
            PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pong.!(Stop);
            val PingPong.scala$tmpVal46: Symbol = scala.Symbol.apply("stop");
            PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.exit(PingPong.scala$tmpVal46)
          }
      }
    };
    final def isDefinedAt(x$1: Any): Boolean = (x$1: Any @unchecked) match {
      case Start => true
      case SendPing => true
      case Pong => true
      case _ => false
    }
  }

• class Pong

  class Pong extends java.lang.Object with scala.actors.Actor with ScalaObject {
    def this(): Pong = {
      val PingPong.scala$tmpVal49: java.lang.Object = Pong.super.this();
      Pong.this.pongCount = 0;
      ()
    };
    private[this] var pongCount: Int = _;
    def act(): Unit = {
      val PingPong.scala$tmpVal65: anonymous class PingPong$lift$anonfun3 = new anonymous class PingPong$lift$anonfun3(Pong.this);
      Pong.this.loop((PingPong.scala$tmpVal65: () => Nothing))
    };
    <accessor> def pongCount(): Int = Pong.this.pongCount;
    <accessor> def pongCount_=(x$1: Int): Unit = Pong.this.pongCount = x$1
  }

• object Ping

  final case object Ping extends PongMessage with ScalaObject with Product with Serializable {
    def this(): object Ping = {
      val PingPong.scala$tmpVal15: PongMessage = Ping.this.$init$$super2();
      ()
    };
    def $init$$super2(): PongMessage = {
      val PingPong.scala$tmpVal14: java.lang.Object = PongMessage.super.this();
      ()
    };
    override def productArity(): Int = 0;
    final override def toString(): java.lang.String = "Ping";
    override def productPrefix(): java.lang.String = "Ping";
    protected def readResolve(): java.lang.Object = Ping;
    final override def hashCode(): Int = 2487698;
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal18: Boolean = x$1.$isInstanceOf[object Ping]();
      PingPong.scala$tmpVal18
    };
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal16: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal17: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal16);
        throw PingPong.scala$tmpVal17
      }
    }
  }

• object PingPong

  final object PingPong extends java.lang.Object with ScalaObject {
    def this(): object PingPong = {
      val PingPong.scala$tmpVal23: java.lang.Object = PingPong.super.this();
      ()
    };
    def main(args: Array[java.lang.String]): Unit = {
      val PingPong.scala$tmpVal24: Pong = new Pong();
      val pong: Pong = PingPong.scala$tmpVal24;
      val PingPong.scala$tmpVal25: Ping = new Ping(100000, pong);
      val ping: Ping = PingPong.scala$tmpVal25;
      val PingPong.scala$tmpVal26: scala.actors.Actor = ping.start();
      val PingPong.scala$tmpVal27: scala.actors.Actor = pong.start();
      ping.!(Start)
    }
  }

• anonymous class PingPong$lift$anonfun4

  @SerialVersionUID(0) final <synthetic> class PingPong$lift$anonfun4 extends java.lang.Object with PartialFunction[Any,Unit] with Serializable {
    def this(PingPong$lift$outer$arg4: anonymous class PingPong$lift$anonfun3): anonymous class PingPong$lift$anonfun4 = {
      val PingPong.scala$tmpVal51: java.lang.Object = PingPong$lift$anonfun4.super.this();
      PingPong$lift$anonfun4.this.PingPong$lift$outer4 = PingPong$lift$anonfun4.this.PingPong$lift$outer$arg4;
      ()
    };
    final def isDefinedAt(x$1: Any): Boolean = (x$1: Any @unchecked) match {
      case Ping => true
      case Stop => true
      case _ => false
    };
    final def apply(x0$2: Any): Unit = (x0$2: Any @unchecked) match {
      case Ping => {
        val PingPong.scala$tmpVal52: Int = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.pongCount();
        val PingPong.scala$tmpVal53: Int = PingPong.scala$tmpVal52.%(1000);
        val PingPong.scala$tmpVal54: Boolean = PingPong.scala$tmpVal53.==(0);
        if (PingPong.scala$tmpVal54)
          {
            val PingPong.scala$tmpVal55: Int = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.pongCount();
            val PingPong.scala$tmpVal56: java.lang.String = "Pong: ping ".+(PingPong.scala$tmpVal55);
            val PingPong.scala$tmpVal57: java.lang.String = PingPong.scala$tmpVal56.+(" from ");
            val PingPong.scala$tmpVal58: scala.actors.OutputChannel[Any] = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.sender();
            val PingPong.scala$tmpVal59: java.lang.String = PingPong.scala$tmpVal57.+(PingPong.scala$tmpVal58);
            scala.this.Predef.println(PingPong.scala$tmpVal59)
          }
        else
          ();
        val PingPong.scala$tmpVal60: scala.actors.OutputChannel[Any] = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.sender();
        PingPong.scala$tmpVal60.!(Pong);
        val PingPong.scala$tmpVal61: Int = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.pongCount();
        val PingPong.scala$tmpVal62: Int = PingPong.scala$tmpVal61.+(1);
        PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.pongCount_=(PingPong.scala$tmpVal62)
      }
      case Stop => {
        scala.this.Predef.println("Pong: Stop.");
        val PingPong.scala$tmpVal63: Symbol = scala.Symbol.apply("stop");
        PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.exit(PingPong.scala$tmpVal63)
      }
    }
  }

• anonymous class PingPong$lift$anonfun1

  @SerialVersionUID(0) final <synthetic> class PingPong$lift$anonfun1 extends scala.runtime.AbstractFunction0[Nothing] with Serializable {
    def this(PingPong$lift$outer$arg1: Ping): anonymous class PingPong$lift$anonfun1 = {
      val PingPong.scala$tmpVal32: scala.runtime.AbstractFunction0[Nothing] = PingPong$lift$anonfun1.super.this();
      PingPong$lift$anonfun1.this.PingPong$lift$outer1 = PingPong$lift$anonfun1.this.PingPong$lift$outer$arg1;
      ()
    };
    final def apply(): Nothing = {
      val PingPong.scala$tmpVal47: anonymous class PingPong$lift$anonfun2 = new anonymous class PingPong$lift$anonfun2(PingPong$lift$anonfun1.this);
      PingPong$lift$anonfun1.this.PingPong$lift$outer1.react((PingPong.scala$tmpVal47: PartialFunction[Any,Unit]))
    }
  }

• class Ping

  class Ping extends java.lang.Object with scala.actors.Actor with ScalaObject {
    def this(count: Int, pong: scala.actors.Actor): Ping = {
      val PingPong.scala$tmpVal28: java.lang.Object = Ping.super.this();
      Ping.this.count = count;
      Ping.this.pong = pong;
      Ping.this.pingsLeft = Ping.this.count;
      ()
    };
    <paramaccessor> private[this] val count: Int = _;
    <paramaccessor> private[this] val pong: scala.actors.Actor = _;
    private[this] var pingsLeft: Int = _;
    <accessor> def pingsLeft_=(x$1: Int): Unit = Ping.this.pingsLeft = x$1;
    def act(): Unit = {
      val PingPong.scala$tmpVal29: java.lang.String = "Ping: Initializing with count ".+(Ping.this.count);
      val PingPong.scala$tmpVal30: java.lang.String = PingPong.scala$tmpVal29.+(": ");
      val PingPong.scala$tmpVal31: java.lang.String = PingPong.scala$tmpVal30.+(Ping.this.pong);
      scala.this.Predef.println(PingPong.scala$tmpVal31);
      val PingPong.scala$tmpVal48: anonymous class PingPong$lift$anonfun1 = new anonymous class PingPong$lift$anonfun1(Ping.this);
      Ping.this.loop((PingPong.scala$tmpVal48: () => Nothing))
    };
    <accessor> def pingsLeft(): Int = Ping.this.pingsLeft
  }

• object Pong

  final case object Pong extends PingMessage with ScalaObject with Product with Serializable {
    def this(): object Pong = {
      val PingPong.scala$tmpVal6: PingMessage = Pong.this.$init$$super3();
      ()
    };
    def $init$$super3(): PingMessage = {
      val PingPong.scala$tmpVal1: java.lang.Object = PingMessage.super.this();
      ()
    };
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal7: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal8: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal7);
        throw PingPong.scala$tmpVal8
      }
    };
    override def productArity(): Int = 0;
    final override def hashCode(): Int = 2493464;
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal9: Boolean = x$1.$isInstanceOf[object Pong]();
      PingPong.scala$tmpVal9
    };
    override def productPrefix(): java.lang.String = "Pong";
    protected def readResolve(): java.lang.Object = Pong;
    final override def toString(): java.lang.String = "Pong"
  }

• anonymous class PingPong$lift$anonfun3

  @SerialVersionUID(0) final <synthetic> class PingPong$lift$anonfun3 extends scala.runtime.AbstractFunction0[Nothing] with Serializable {
    def this(PingPong$lift$outer$arg3: Pong): anonymous class PingPong$lift$anonfun3 = {
      val PingPong.scala$tmpVal50: scala.runtime.AbstractFunction0[Nothing] = PingPong$lift$anonfun3.super.this();
      PingPong$lift$anonfun3.this.PingPong$lift$outer3 = PingPong$lift$anonfun3.this.PingPong$lift$outer$arg3;
      ()
    };
    final def apply(): Nothing = {
      val PingPong.scala$tmpVal64: anonymous class PingPong$lift$anonfun4 = new anonymous class PingPong$lift$anonfun4(PingPong$lift$anonfun3.this);
      PingPong$lift$anonfun3.this.PingPong$lift$outer3.react((PingPong.scala$tmpVal64: PartialFunction[Any,Unit]))
    }
  }

• object Stop

  final case object Stop extends PongMessage with ScalaObject with Product with Serializable {
    def this(): object Stop = {
      val PingPong.scala$tmpVal19: PongMessage = Stop.this.$init$$super4();
      ()
    };
    def $init$$super4(): PongMessage = {
      val PingPong.scala$tmpVal14: java.lang.Object = PongMessage.super.this();
      ()
    };
    override def productArity(): Int = 0;
    protected def readResolve(): java.lang.Object = Stop;
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal22: Boolean = x$1.$isInstanceOf[object Stop]();
      PingPong.scala$tmpVal22
    };
    final override def hashCode(): Int = 2587682;
    override def productPrefix(): java.lang.String = "Stop";
    final override def toString(): java.lang.String = "Stop";
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal20: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal21: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal20);
        throw PingPong.scala$tmpVal21
      }
    }
  }

• object SendPing

  final case object SendPing extends PingMessage with ScalaObject with Product with Serializable {
    def this(): object SendPing = {
      val PingPong.scala$tmpVal10: PingMessage = SendPing.this.$init$$super5();
      ()
    };
    def $init$$super5(): PingMessage = {
      val PingPong.scala$tmpVal1: java.lang.Object = PingMessage.super.this();
      ()
    };
    final override def hashCode(): Int = 1311974714;
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal11: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal12: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal11);
        throw PingPong.scala$tmpVal12
      }
    };
    final override def toString(): java.lang.String = "SendPing";
    override def productArity(): Int = 0;
    override def productPrefix(): java.lang.String = "SendPing";
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal13: Boolean = x$1.$isInstanceOf[object SendPing]();
      PingPong.scala$tmpVal13
    };
    protected def readResolve(): java.lang.Object = SendPing
  }

• object Start

  final case object Start extends PingMessage with ScalaObject with Product with Serializable {
    def this(): object Start = {
      val PingPong.scala$tmpVal2: PingMessage = Start.this.$init$$super1();
      ()
    };
    def $init$$super1(): PingMessage = {
      val PingPong.scala$tmpVal1: java.lang.Object = PingMessage.super.this();
      ()
    };
    override def productArity(): Int = 0;
    final override def toString(): java.lang.String = "Start";
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal3: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal4: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal3);
        throw PingPong.scala$tmpVal4
      }
    };
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal5: Boolean = x$1.$isInstanceOf[object Start]();
      PingPong.scala$tmpVal5
    };
    protected def readResolve(): java.lang.Object = Start;
    override def productPrefix(): java.lang.String = "Start";
    final override def hashCode(): Int = 80204866
  }

• class PingMessage

  abstract class PingMessage extends java.lang.Object with ScalaObject {
    def this(): PingMessage = {
      val PingPong.scala$tmpVal1: java.lang.Object = PingMessage.super.this();
      ()
    }
  }

• class PongMessage

  abstract class PongMessage extends java.lang.Object with ScalaObject {
    def this(): PongMessage = {
      val PingPong.scala$tmpVal14: java.lang.Object = PongMessage.super.this();
      ()
    }
  }

• anonymous class PingPong$lift$anonfun2

  @SerialVersionUID(0) final <synthetic> class PingPong$lift$anonfun2 extends java.lang.Object with PartialFunction[Any,Unit] with Serializable {
    def this(PingPong$lift$outer$arg2: anonymous class PingPong$lift$anonfun1): anonymous class PingPong$lift$anonfun2 = {
      val PingPong.scala$tmpVal33: java.lang.Object = PingPong$lift$anonfun2.super.this();
      PingPong$lift$anonfun2.this.PingPong$lift$outer2 = PingPong$lift$anonfun2.this.PingPong$lift$outer$arg2;
      ()
    };
    final def apply(x0$1: Any): Unit = (x0$1: Any @unchecked) match {
      case Start => {
        scala.this.Predef.println("Ping: starting.");
        PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pong.!(Ping);
        val PingPong.scala$tmpVal34: Int = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft();
        val PingPong.scala$tmpVal35: Int = PingPong.scala$tmpVal34.-(1);
        PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft_=(PingPong.scala$tmpVal35)
      }
      case SendPing => {
        PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pong.!(Ping);
        val PingPong.scala$tmpVal36: Int = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft();
        val PingPong.scala$tmpVal37: Int = PingPong.scala$tmpVal36.-(1);
        PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft_=(PingPong.scala$tmpVal37)
      }
      case Pong => {
        val PingPong.scala$tmpVal38: Int = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft();
        val PingPong.scala$tmpVal39: Int = PingPong.scala$tmpVal38.%(1000);
        val PingPong.scala$tmpVal40: Boolean = PingPong.scala$tmpVal39.==(0);
        if (PingPong.scala$tmpVal40)
          {
            val PingPong.scala$tmpVal41: scala.actors.OutputChannel[Any] = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.sender();
            val PingPong.scala$tmpVal42: java.lang.String = "Ping: pong from: ".+(PingPong.scala$tmpVal41);
            scala.this.Predef.println(PingPong.scala$tmpVal42)
          }
        else
          ();
        val PingPong.scala$tmpVal43: Int = PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pingsLeft();
        val PingPong.scala$tmpVal44: Boolean = PingPong.scala$tmpVal43.>(0);
        if (PingPong.scala$tmpVal44)
          {
            val PingPong.scala$tmpVal45: scala.actors.Actor = scala.actors.Actor.self();
            PingPong.scala$tmpVal45.!(SendPing)
          }
        else
          {
            scala.this.Predef.println("Ping: Stop.");
            PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.pong.!(Stop);
            val PingPong.scala$tmpVal46: Symbol = scala.Symbol.apply("stop");
            PingPong$lift$anonfun2.this.PingPong$lift$outer2.PingPong$lift$outer1.exit(PingPong.scala$tmpVal46)
          }
      }
    };
    final def isDefinedAt(x$1: Any): Boolean = (x$1: Any @unchecked) match {
      case Start => true
      case SendPing => true
      case Pong => true
      case _ => false
    }
  }

• class Pong

  class Pong extends java.lang.Object with scala.actors.Actor with ScalaObject {
    def this(): Pong = {
      val PingPong.scala$tmpVal49: java.lang.Object = Pong.super.this();
      Pong.this.pongCount = 0;
      ()
    };
    private[this] var pongCount: Int = _;
    def act(): Unit = {
      val PingPong.scala$tmpVal65: anonymous class PingPong$lift$anonfun3 = new anonymous class PingPong$lift$anonfun3(Pong.this);
      Pong.this.loop((PingPong.scala$tmpVal65: () => Nothing))
    };
    <accessor> def pongCount(): Int = Pong.this.pongCount;
    <accessor> def pongCount_=(x$1: Int): Unit = Pong.this.pongCount = x$1
  }

• object Ping

  final case object Ping extends PongMessage with ScalaObject with Product with Serializable {
    def this(): object Ping = {
      val PingPong.scala$tmpVal15: PongMessage = Ping.this.$init$$super2();
      ()
    };
    def $init$$super2(): PongMessage = {
      val PingPong.scala$tmpVal14: java.lang.Object = PongMessage.super.this();
      ()
    };
    override def productArity(): Int = 0;
    final override def toString(): java.lang.String = "Ping";
    override def productPrefix(): java.lang.String = "Ping";
    protected def readResolve(): java.lang.Object = Ping;
    final override def hashCode(): Int = 2487698;
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal18: Boolean = x$1.$isInstanceOf[object Ping]();
      PingPong.scala$tmpVal18
    };
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal16: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal17: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal16);
        throw PingPong.scala$tmpVal17
      }
    }
  }

• object PingPong

  final object PingPong extends java.lang.Object with ScalaObject {
    def this(): object PingPong = {
      val PingPong.scala$tmpVal23: java.lang.Object = PingPong.super.this();
      ()
    };
    def main(args: Array[java.lang.String]): Unit = {
      val PingPong.scala$tmpVal24: Pong = new Pong();
      val pong: Pong = PingPong.scala$tmpVal24;
      val PingPong.scala$tmpVal25: Ping = new Ping(100000, pong);
      val ping: Ping = PingPong.scala$tmpVal25;
      val PingPong.scala$tmpVal26: scala.actors.Actor = ping.start();
      val PingPong.scala$tmpVal27: scala.actors.Actor = pong.start();
      ping.!(Start)
    }
  }

• anonymous class PingPong$lift$anonfun4

  @SerialVersionUID(0) final <synthetic> class PingPong$lift$anonfun4 extends java.lang.Object with PartialFunction[Any,Unit] with Serializable {
    def this(PingPong$lift$outer$arg4: anonymous class PingPong$lift$anonfun3): anonymous class PingPong$lift$anonfun4 = {
      val PingPong.scala$tmpVal51: java.lang.Object = PingPong$lift$anonfun4.super.this();
      PingPong$lift$anonfun4.this.PingPong$lift$outer4 = PingPong$lift$anonfun4.this.PingPong$lift$outer$arg4;
      ()
    };
    final def isDefinedAt(x$1: Any): Boolean = (x$1: Any @unchecked) match {
      case Ping => true
      case Stop => true
      case _ => false
    };
    final def apply(x0$2: Any): Unit = (x0$2: Any @unchecked) match {
      case Ping => {
        val PingPong.scala$tmpVal52: Int = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.pongCount();
        val PingPong.scala$tmpVal53: Int = PingPong.scala$tmpVal52.%(1000);
        val PingPong.scala$tmpVal54: Boolean = PingPong.scala$tmpVal53.==(0);
        if (PingPong.scala$tmpVal54)
          {
            val PingPong.scala$tmpVal55: Int = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.pongCount();
            val PingPong.scala$tmpVal56: java.lang.String = "Pong: ping ".+(PingPong.scala$tmpVal55);
            val PingPong.scala$tmpVal57: java.lang.String = PingPong.scala$tmpVal56.+(" from ");
            val PingPong.scala$tmpVal58: scala.actors.OutputChannel[Any] = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.sender();
            val PingPong.scala$tmpVal59: java.lang.String = PingPong.scala$tmpVal57.+(PingPong.scala$tmpVal58);
            scala.this.Predef.println(PingPong.scala$tmpVal59)
          }
        else
          ();
        val PingPong.scala$tmpVal60: scala.actors.OutputChannel[Any] = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.sender();
        PingPong.scala$tmpVal60.!(Pong);
        val PingPong.scala$tmpVal61: Int = PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.pongCount();
        val PingPong.scala$tmpVal62: Int = PingPong.scala$tmpVal61.+(1);
        PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.pongCount_=(PingPong.scala$tmpVal62)
      }
      case Stop => {
        scala.this.Predef.println("Pong: Stop.");
        val PingPong.scala$tmpVal63: Symbol = scala.Symbol.apply("stop");
        PingPong$lift$anonfun4.this.PingPong$lift$outer4.PingPong$lift$outer3.exit(PingPong.scala$tmpVal63)
      }
    }
  }

• anonymous class PingPong$lift$anonfun1

  @SerialVersionUID(0) final <synthetic> class PingPong$lift$anonfun1 extends scala.runtime.AbstractFunction0[Nothing] with Serializable {
    def this(PingPong$lift$outer$arg1: Ping): anonymous class PingPong$lift$anonfun1 = {
      val PingPong.scala$tmpVal32: scala.runtime.AbstractFunction0[Nothing] = PingPong$lift$anonfun1.super.this();
      PingPong$lift$anonfun1.this.PingPong$lift$outer1 = PingPong$lift$anonfun1.this.PingPong$lift$outer$arg1;
      ()
    };
    final def apply(): Nothing = {
      val PingPong.scala$tmpVal47: anonymous class PingPong$lift$anonfun2 = new anonymous class PingPong$lift$anonfun2(PingPong$lift$anonfun1.this);
      PingPong$lift$anonfun1.this.PingPong$lift$outer1.react((PingPong.scala$tmpVal47: PartialFunction[Any,Unit]))
    }
  }

• class Ping

  class Ping extends java.lang.Object with scala.actors.Actor with ScalaObject {
    def this(count: Int, pong: scala.actors.Actor): Ping = {
      val PingPong.scala$tmpVal28: java.lang.Object = Ping.super.this();
      Ping.this.count = count;
      Ping.this.pong = pong;
      Ping.this.pingsLeft = Ping.this.count;
      ()
    };
    <paramaccessor> private[this] val count: Int = _;
    <paramaccessor> private[this] val pong: scala.actors.Actor = _;
    private[this] var pingsLeft: Int = _;
    <accessor> def pingsLeft_=(x$1: Int): Unit = Ping.this.pingsLeft = x$1;
    def act(): Unit = {
      val PingPong.scala$tmpVal29: java.lang.String = "Ping: Initializing with count ".+(Ping.this.count);
      val PingPong.scala$tmpVal30: java.lang.String = PingPong.scala$tmpVal29.+(": ");
      val PingPong.scala$tmpVal31: java.lang.String = PingPong.scala$tmpVal30.+(Ping.this.pong);
      scala.this.Predef.println(PingPong.scala$tmpVal31);
      val PingPong.scala$tmpVal48: anonymous class PingPong$lift$anonfun1 = new anonymous class PingPong$lift$anonfun1(Ping.this);
      Ping.this.loop((PingPong.scala$tmpVal48: () => Nothing))
    };
    <accessor> def pingsLeft(): Int = Ping.this.pingsLeft
  }

• object Pong

  final case object Pong extends PingMessage with ScalaObject with Product with Serializable {
    def this(): object Pong = {
      val PingPong.scala$tmpVal6: PingMessage = Pong.this.$init$$super3();
      ()
    };
    def $init$$super3(): PingMessage = {
      val PingPong.scala$tmpVal1: java.lang.Object = PingMessage.super.this();
      ()
    };
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal7: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal8: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal7);
        throw PingPong.scala$tmpVal8
      }
    };
    override def productArity(): Int = 0;
    final override def hashCode(): Int = 2493464;
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal9: Boolean = x$1.$isInstanceOf[object Pong]();
      PingPong.scala$tmpVal9
    };
    override def productPrefix(): java.lang.String = "Pong";
    protected def readResolve(): java.lang.Object = Pong;
    final override def toString(): java.lang.String = "Pong"
  }

• anonymous class PingPong$lift$anonfun3

  @SerialVersionUID(0) final <synthetic> class PingPong$lift$anonfun3 extends scala.runtime.AbstractFunction0[Nothing] with Serializable {
    def this(PingPong$lift$outer$arg3: Pong): anonymous class PingPong$lift$anonfun3 = {
      val PingPong.scala$tmpVal50: scala.runtime.AbstractFunction0[Nothing] = PingPong$lift$anonfun3.super.this();
      PingPong$lift$anonfun3.this.PingPong$lift$outer3 = PingPong$lift$anonfun3.this.PingPong$lift$outer$arg3;
      ()
    };
    final def apply(): Nothing = {
      val PingPong.scala$tmpVal64: anonymous class PingPong$lift$anonfun4 = new anonymous class PingPong$lift$anonfun4(PingPong$lift$anonfun3.this);
      PingPong$lift$anonfun3.this.PingPong$lift$outer3.react((PingPong.scala$tmpVal64: PartialFunction[Any,Unit]))
    }
  }

• object Stop

  final case object Stop extends PongMessage with ScalaObject with Product with Serializable {
    def this(): object Stop = {
      val PingPong.scala$tmpVal19: PongMessage = Stop.this.$init$$super4();
      ()
    };
    def $init$$super4(): PongMessage = {
      val PingPong.scala$tmpVal14: java.lang.Object = PongMessage.super.this();
      ()
    };
    override def productArity(): Int = 0;
    protected def readResolve(): java.lang.Object = Stop;
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal22: Boolean = x$1.$isInstanceOf[object Stop]();
      PingPong.scala$tmpVal22
    };
    final override def hashCode(): Int = 2587682;
    override def productPrefix(): java.lang.String = "Stop";
    final override def toString(): java.lang.String = "Stop";
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal20: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal21: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal20);
        throw PingPong.scala$tmpVal21
      }
    }
  }

• object SendPing

  final case object SendPing extends PingMessage with ScalaObject with Product with Serializable {
    def this(): object SendPing = {
      val PingPong.scala$tmpVal10: PingMessage = SendPing.this.$init$$super5();
      ()
    };
    def $init$$super5(): PingMessage = {
      val PingPong.scala$tmpVal1: java.lang.Object = PingMessage.super.this();
      ()
    };
    final override def hashCode(): Int = 1311974714;
    override def productElement(x$1: Int): Any = x$1 match {
      case _ => {
        val PingPong.scala$tmpVal11: java.lang.String = x$1.toString();
        val PingPong.scala$tmpVal12: java.lang.IndexOutOfBoundsException = new java.lang.IndexOutOfBoundsException(PingPong.scala$tmpVal11);
        throw PingPong.scala$tmpVal12
      }
    };
    final override def toString(): java.lang.String = "SendPing";
    override def productArity(): Int = 0;
    override def productPrefix(): java.lang.String = "SendPing";
    override def canEqual(x$1: Any): Boolean = {
      val PingPong.scala$tmpVal13: Boolean = x$1.$isInstanceOf[object SendPing]();
      PingPong.scala$tmpVal13
    };
    protected def readResolve(): java.lang.Object = SendPing
  }

Main object is object PingPong.
actors are class Pong, class Ping.
object Start creates List(class IndexOutOfBoundsException)
class PingMessage creates List()
class PongMessage creates List()
anonymous class PingPong$lift$anonfun2 creates List()
class Pong creates List(anonymous class PingPong$lift$anonfun3)
object Ping creates List(class IndexOutOfBoundsException)
object PingPong creates List(class Pong, class Ping)
anonymous class PingPong$lift$anonfun4 creates List()
anonymous class PingPong$lift$anonfun1 creates List(anonymous class PingPong$lift$anonfun2)
class Ping creates List(anonymous class PingPong$lift$anonfun1)
object Pong creates List(class IndexOutOfBoundsException)
anonymous class PingPong$lift$anonfun3 creates List(anonymous class PingPong$lift$anonfun4)
object Stop creates List(class IndexOutOfBoundsException)
object SendPing creates List(class IndexOutOfBoundsException)

• object Start

• class Pong

• object PingPong

• object Ping

• object Pong

• class Ping

• object Stop

• object SendPing

• Initial Configuration

• Transitions

  • return!$init$$super1$return#22035

    digraph trs {
        
        subgraph cluster_trslhs {
            label = "LHS";
            trslhs0 [label="(_,0)"];
            trslhs1 [label="($init$$super1$return$1,0)"];
            trslhs2 [label="(_,0)"];
            trslhs1 -> trslhs0 [label="$init$$super1$return#22035"];
            trslhs1 -> trslhs2 [label="return"];
        }
        subgraph cluster_trsrhs {
            label = "RHS";
            trsrhs0 [label="(_,0)"];
            trsrhs1 [label="(_,0)"];
            trsrhs0 -> trsrhs1 [label="to"];
        }
        trslhs0 -> trsrhs0[dir=back color="#00aa00"];
        trslhs2 -> trsrhs1[dir=back color="#00aa00"];
    }
    
    

  • $init$$super1$return#22035 := ()$1

  • return!()

  • returnLocal := new-channel()$1

  • returnLocal?PingPong.scala$tmpVal2#21404

  • this!$init$$super1#21600(returnLocal)

  • create(Start#9461$$init$$super1#21600, this, return)

  • this?$init$$super1#21600(return)

  • this?<init>#12183(return)

  • create(Start#9461$<init>#12183, this, return)

  • return!()

  • PingPong.scala$tmpVal57#21459 := Any$1

  • PingPong$lift$outer3#21596!pongCount#12571(returnLocal)

  • returnLocal?_

  • returnLocal := new-channel()$2

  • returnLocal := new-channel()$3

  • PingPong.scala$tmpVal58#21460 := sender$1

  • PingPong.scala$tmpVal60#21462!Message(this, Pong#9463)

  • returnLocal?_

  • PingPong.scala$tmpVal56#21458 := Any$1

  • PingPong.scala$tmpVal59#21461 := Any$1

  • PingPong$lift$outer3#21596!pongCount_$eq#12572(returnLocal, Any)

  • returnLocal?_

  • PingPong$lift$outer3#21596!pongCount#12571(returnLocal)

  • returnLocal := new-channel()$4

  • this?Message(sender, Ping())

  • this?Message(sender, Stop())

  • assume(PingPong.scala$tmpVal54#21456)

  • assume(!(PingPong.scala$tmpVal54#21456))

  • PingPong.scala$tmpVal60#21462 := sender$1

  • {}

  • PingPong$lift$outer3#21596!pongCount#12571(returnLocal)

  • returnLocal?_

  • PingPong.scala$tmpVal54#21456 := ==(Any, 0)

  • returnLocal := new-channel()$5

  • return!Any

  • return!()

  • create(Pong#9474$pongCount_$eq#12572, this, return, Any)

  • create(Pong#9474$pongCount#12571, this, return)

  • create(Pong#9474$<init>#12570, this, return)

  • return!()

  • create(Pong#9474$act#12669, this, return)

  • this?start#10004(return)

  • this?pongCount#12571(return)

  • this?restart#12708(return)

  • this?pongCount_$eq#12572(return, _)

  • this?<init>#12570(return)

  • this?act#12669(return)

  • create(Pong#9474$act#12669, this, this)

  • return!$init$$super2$return#22059

  • $init$$super2$return#22059 := ()$1

  • this!$init$$super2#21801(returnLocal)

  • returnLocal?PingPong.scala$tmpVal15#21417

  • return!()

  • returnLocal := new-channel()$6

  • create(Ping#9468$$init$$super2#21801, this, return)

  • this?$init$$super2#21801(return)

  • this?<init>#12793(return)

    digraph trs {
        
        subgraph cluster_trslhs {
            label = "LHS";
            trslhs0 [label="(#12793,0)"];
            trslhs1 [label="(_,0)"];
            trslhs2 [label="(_,0)"];
            trslhs3 [label="(Dispatch$6$waitingForCall,0)"];
            trslhs0 -> trslhs1 [label="0"];
            trslhs0 -> trslhs2 [label="to"];
            trslhs3 -> trslhs2 [label="this"];
        }
        subgraph cluster_trsrhs {
            label = "RHS";
            trsrhs0 [label="(#12793,0)"];
            trsrhs1 [label="(_,0)"];
            trsrhs2 [label="(Ping#9468$#12793$Call,0)"];
            trsrhs3 [label="(_,0)"];
            trsrhs0 -> trsrhs1 [label="0"];
            trsrhs2 -> trsrhs1 [label="return"];
            trsrhs2 -> trsrhs3 [label="this"];
        }
        trslhs3 -> trsrhs2[color="#0000aa"];
        trslhs0 -> trsrhs0[dir=back color="#00aa00"];
        trslhs1 -> trsrhs1[dir=back color="#00aa00"];
        trslhs2 -> trsrhs3[dir=back color="#00aa00"];
    }
    
    

  • create(Ping#9468$<init>#12793, this, return)

  • return!()

  • returnLocal?_

  • return!()

  • PingPong.scala$tmpVal24#21426!<init>#12570(returnLocal)

  • returnLocal?PingPong.scala$tmpVal27#21429

  • PingPong.scala$tmpVal25#21427 := create(Ping#9473, new-channel())$1

  • PingPong.scala$tmpVal24#21426 := create(Pong#9474, new-channel())$1

  • PingPong.scala$tmpVal25#21427!<init>#12798(returnLocal, 100000, pong#12836)

  • ping#12837 := PingPong.scala$tmpVal25#21427$1

  • returnLocal?PingPong.scala$tmpVal26#21428

  • returnLocal := new-channel()$7

  • ping#12837!start#10004(returnLocal)

  • pong#12836 := PingPong.scala$tmpVal24#21426$1

  • returnLocal := new-channel()$8

  • returnLocal := new-channel()$9

  • returnLocal?_

  • pong#12836!start#10004(returnLocal)

  • ping#12837!Message(this, Start#9461)

  • returnLocal := new-channel()$10

  • create(PingPong#9472$<init>#12830, this, return)

  • this?<init>#12830(return)

  • this?main#12831(return, args#12833)

  • create(PingPong#9472$main#12831, this, return, args#12833)

  • return!()

  • pong#12797 := pong#12804$1

  • return!()

  • PingPong.scala$tmpVal31#21433 := Any$1

  • PingPong.scala$tmpVal44#21446 := true$1

  • PingPong.scala$tmpVal44#21446 := false$1

  • returnLocal?_

  • this!pingsLeft#12799(returnLocal)

  • PingPong.scala$tmpVal41#21443 := sender$1

  • returnLocal := new-channel()$11

  • PingPong.scala$tmpVal29#21431 := Any$1

  • assume(PingPong.scala$tmpVal44#21446)

  • assume(!(PingPong.scala$tmpVal44#21446))

  • returnLocal?_

  • {}

  • this?Message(sender, Start())

  • this?Message(sender, SendPing())

  • this?Message(sender, Pong())

  • returnLocal?_

  • returnLocal := new-channel()$12

  • PingPong.scala$tmpVal42#21444 := Any$1

  • PingPong.scala$tmpVal45#21447!Message(this, SendPing#9465)

  • returnLocal := new-channel()$13

  • returnLocal?_

  • this!pingsLeft#12799(returnLocal)

  • this!pingsLeft_$eq#12800(returnLocal, Any)

  • returnLocal := new-channel()$14

  • this!pingsLeft#12799(returnLocal)

  • pong#12797!Message(this, Ping#9468)

  • PingPong.scala$tmpVal40#21442 := ==(Any, 0)

  • pong#12797!Message(this, Stop#9470)

  • returnLocal := new-channel()$15

  • this!pingsLeft_$eq#12800(returnLocal, Any)

  • returnLocal?_

  • pong#12797!Message(this, Ping#9468)

  • PingPong.scala$tmpVal30#21432 := Any$1

  • assume(PingPong.scala$tmpVal40#21442)

  • assume(!(PingPong.scala$tmpVal40#21442))

  • this!pingsLeft#12799(returnLocal)

  • returnLocal?_

  • PingPong.scala$tmpVal45#21447 := Any

  • returnLocal := new-channel()$16

  • return!Any

  • create(Ping#9473$<init>#12798, this, return, Any, pong#12804)

  • this?pingsLeft#12799(return)

  • this?start#10004(return)

  • this?pingsLeft_$eq#12800(return, _)

  • this?<init>#12798(return, _, pong#12804)

  • this?restart#12708(return)

  • this?act#12669(return)

  • create(Ping#9473$pingsLeft#12799, this, return)

  • return!()

  • create(Ping#9473$pingsLeft_$eq#12800, this, return, Any)

  • create(Ping#9473$act#12669, this, return)

  • create(Ping#9473$act#12669, this, this)

  • return!$init$$super3$return#22043

  • $init$$super3$return#22043 := ()$1

  • returnLocal := new-channel()$17

  • returnLocal?PingPong.scala$tmpVal6#21408

  • this!$init$$super3#21940(returnLocal)

  • return!()

  • create(Pong#9463$$init$$super3#21940, this, return)

  • this?$init$$super3#21940(return)

  • this?<init>#12559(return)

  • create(Pong#9463$<init>#12559, this, return)

  • this!$init$$super4#21987(returnLocal)

  • returnLocal := new-channel()$18

  • return!()

  • returnLocal?PingPong.scala$tmpVal19#21421

  • return!$init$$super4$return#22067

  • $init$$super4$return#22067 := ()$1

  • create(Stop#9470$<init>#12817, this, return)

  • this?<init>#12817(return)

  • this?$init$$super4#21987(return)

  • create(Stop#9470$$init$$super4#21987, this, return)

  • return!$init$$super5$return#22051

  • $init$$super5$return#22051 := ()$1

  • this!$init$$super5#22011(returnLocal)

  • returnLocal?PingPong.scala$tmpVal10#21412

  • returnLocal := new-channel()$19

  • return!()

  • create(SendPing#9465$$init$$super5#22011, this, return)

  • this?$init$$super5#22011(return)

  • this?<init>#12778(return)

  • create(SendPing#9465$<init>#12778, this, return)